1. ACM SIGMETRICS 2002 : International Conference on Measurement and Modeling of Computer Systems : June 15-19, 2002, Marina Del Rey, California : proceedings
پدیدآورنده : Sponsored by ACM SIGMETRICS
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Evaluation ، Electronic digital computers,Congresses ، Digital computer simulation
رده :
QA
76
.
5
.
I52
2002
2. CX-Simulator, ver 1.1, for CS1 series: Operation manual
پدیدآورنده :
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Digital computer simulation,، Electronic digital computers-programming
3. Computer architecture and networks
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Digital computer simulation - Congresses,، electronic digital computers - Evalation Cogress,، Computer networks - Congresses
رده :
QA
76
.
5
.
C6125
4. Computer architectures and networks : modelling and evaluation : proceedings of an International Workshop
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Digital computer simulation-- Congresses,، Electronic digital computers-- Evaluation-- Congresses,، Computer networks-- Congresses
رده :
QA
76
.
5
.
C612553
5. Computer simulation of dynamic systems
پدیدآورنده : Kochenburger, Ralph J.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Digital computer simulation,، Systems engineering--Data processing,، Electronic analog computers
رده :
T
57
.
62
.
K56
6. Current issues in computer simulation
پدیدآورنده : edited by Nabil R. Adam, Ali Dogramaci
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Digital computer simulation,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
C65
C87
7. Digital simulation of continuous systems
پدیدآورنده : Chu, Yaohan
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Digital Computer simulation,، Programming languages )Electronic computers(
رده :
QA
76
.
5
.
C49
8. Digital system design with SystemVerilog
پدیدآورنده : Zwolinski, Mark
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Verilog )Computer hardware description language(,، Electronic digital computers-- Design and construction,، Computer simulation
رده :
TK
7885
.
7
.
Z86
2010
9. Elements of practical performance modeling
پدیدآورنده : / Edward A. MacNair, Charles H. Sauer
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Digital computer simulation - Congresses,Electronic digital computers - Evaluation - Congresses
رده :
QA76
.
9
.
C65M34
1985
10. Elements of practical performance modeling
پدیدآورنده : MacNair, Edward A
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Digital computer simulation,Congresses ، Electronic digital computers -- Evaluation
رده :
QA
76
.
9
.
C65
M34
1985
11. Fourteenth Workshop on Parallel and Distributed Simulation (PADS'2000) ,28-31 May 2000, Bologna, Italy
پدیدآورنده : edited by David Bruce, Lornzo Donatiello,and Stephen Turner; sponsored ), ACM Special Interest Group on Simulation (SIGSIM), Society for Comp
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Digital Computer Simulation -- Congresses,Electronic data Processing -- Distributed Processing -- Congresses,Parallel Processing ( Electronic computers) -- Congresses
رده :
QA
،
76
.
9
،.
C65
,
W69
،
2000
12. Fourteenth Workshop on Parallel and Distributed Simulation: PADS 2000: 28-31 May 2000, Bologna, Italy: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Digital computer simulation,Congresses ، Electronic data processing-- Distributed processing,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
9
.
C65
.
W69
2000
13. Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Functional programming )Computer science(-- Congresses,، Parallel programming )Computer science(-- Congresses,، Automatic theorem proving-- Congresses,، Computer simulation-- Congresses
رده :
QA
76
.
6
.
F853
1993
14. Metamodeling :
پدیدآورنده : Subhash Chandra Agrawal.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Digital computer simulation.,Electronic digital computers -- Evaluation.,Queuing theory.
رده :
QA76
.
9
.
C65
S834
2003
15. Minicomputers in data processing and simulation
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Electronic digital computers,Digital computer simulation
رده :
TK7888
.
3
.
S67
1972
16. Minicomputers in data processing and simulation
پدیدآورنده : Soucek, Branko
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Electronic digital computers,، Digital computer simulation
رده :
TK
7888
.
3
.
S67
17. Minicomputers in data processing and simulation
پدیدآورنده : Soucek, Branko.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Electronic digital computers,، Digital computer simulation
رده :
TK
7888
.
3
.
S67
18. Minicomputers in data processing & simulation
پدیدآورنده : SOUCEK,BRANKO
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ELECTRONIC DIGITAL COMPUTERS , DIGITAL COMPUTER SIMULATION
رده :
TK
7888
.
3
.
S67
19. Models in hardware testing
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Electronic digital computers ; Circuits ; Testing. ; Integrated circuits ; Verification. ; Integrated circuits ; Computer simulation. ;
20. On conceptual modelling : perspectives from artificial intelligence, database, and programming languages
پدیدآورنده : edited by Michael L. Brodie, John Mylopoulos, Joachim W. schmidt
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Digital computer simulation,، Artificial intelligence,، Database management,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
C65O5
1984